The Chemical Abstract Machines (CHAM): Solutions to Model Concurrency
نویسنده
چکیده
@ar t i c l e { Banatre : 1 9 9 0 :GMD:113556 . 113559 , author = {Banatre , Jean−P ie r r e and Le Metayer , Daniel } , t i t l e = {The Gamma Model and I t s D i s c ip l i ne of Programming} , j ourna l = { Sc i . Comput . Program . } , i s sue da t e = {Nov . 1990} , volume = {15} , number = {1} , pages = {55−−77} , u r l = {http ://dx . doi . org/10.1016/0167−6423(90)90044−E} , doi = {10.1016/0167−6423(90)90044−E} , publ i sher = { E l s ev i e r North−Holland , Inc . } , address = {Amsterdam , The Netherlands , The Netherlands } , }
منابع مشابه
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication
We deene a true concurrency semantics for LO, a reactive programming language characterized by dynamically reconngurable agents (processes), with interagent communication implemented as broadcasting and logical operators corresponding to Linear Logic connectives. Our semantic model is given by the well-known Chemical Abstract Machine formalism, where concurrent events happen in the form of chem...
متن کاملRAPPORT DE RECHERCHE Operational Semantics of Multi-Agent Organizations
This report introduces a formal description of the operational semantics of multiagent organizations expressed in the AALAADIN generic model. This formalization is based on the -calculus and the Chemical Abstract Machine (CHAM). By mapping an agent to a set of -calculus processes and groups to CHAM solutions, we show that it is possible to associate a precise semantics for the definition and dy...
متن کاملInvestigating Java Concurrency Using Abstract State Machines
We present a mathematically precise, platform-independent model of Java concurrency using the Abstract State Machine method. We cover all aspects of Java threads and synchronization, gradually adding details to the model in a series of steps. We motivate and explain each concurrency feature, and point out subtleties, inconsistencies and ambiguities in the o cial, informal Java speci cation.
متن کاملSoftware Architecture Evolution and the Chemical Abstract Machine
The Chemical Abstract Machine (CHAM) is a general-purpose, simple, intuitive and operational programming model that has been used for the speciication and analysis of the computational behaviour of software architectures. It therefore seems to be a good candidate to describe also the dynamics of the architecture itself and the coordination between the two processes. We also explore the ability ...
متن کاملOn a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
The Chemical Abstract Machine (CHAM) of Berry and Boudol provides a commonly accepted, uniform framework for describing the operational semantics of various process calculi and languages, such as for example CCS, the π calculus and coordination languages like Linda. In its original form the CHAM is purely non-deterministic and thus only describes what reactions are possible but not how long it ...
متن کامل